Markosian, Lawrence Z.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Software Assurance Research Infusion: The NASA Experience

Hinchey, Michael G., Pressburger, Thomas, Feather, Martin S., Markosian, Lawrence, Deadrick, Wes

Year:

2006

Language:

english

File:

PDF, 365 KB

english, 2006

2

Applications of parsing theory to computer-assisted instruction

Markosian, Lawrence Z., Ager, Tryg A.

Journal:

Year:

1983

Language:

english

File:

PDF, 862 KB

english, 1983

3

Using an enabling technology to reengineer legacy systems

Markosian, Lawrence, Newcomb, Philip, Brand, Russell, Burson, Scott, Kitzmiller, Ted

Journal:

Communications of the ACM

Year:

1994

File:

PDF, 3.97 MB

1994

4

[IEEE 2007 IEEE Aerospace Conference - Big Sky, MT, USA (2007.03.3-2007.03.10)] 2007 IEEE Aerospace Conference - Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study

Markosian, Lawrence Z., Mansouri-Samani, Masoud, Mehlitz, Peter C., Pressburger, Tom

Year:

2007

Language:

english

File:

PDF, 427 KB

english, 2007

5

[IEEE 2011 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) - Palo Alto, CA, USA (2011.08.2-2011.08.4)] 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology - Building a Safety Case for a Safety-Critical NASA Space Vehicle Software System

Feather, Martin S., Markosian, Lawrence Z.

Year:

2011

Language:

english

File:

PDF, 304 KB

english, 2011

6

[IEEE 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) - San Francisco, CA, USA (2013.05.19-2013.05.19)] 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) - Architecting and generalizing a safety case for critical condition detection software an experience report

Feather, Martin S., Markosian, Lawrence Z.

Year:

2013

Language:

english

File:

PDF, 397 KB

english, 2013

7

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.22-2006.05.22)] Proceedings of the 2006 international workshop on Software technology transfer in software engineering - TT '06 - The NASA software research infusion initiative

Hinchey, Michael G., Pressburger, Thomas, Markosian, Lawrence, Feather, Martin S.

Year:

2006

Language:

english

File:

PDF, 69 KB

english, 2006